Capacity Bounded Grammars and Petri Nets

A capacity bounded grammar is a grammar whose derivations are restricted by assigning a bound to the number of every nonterminal symbol in the sentential forms. In the paper the generative power and closure properties of capacity bounded grammars and their Petri net controlled counterparts are investigated

On Languages Accepted by P/T Systems Composed of joins

Recently, some studies linked the computational power of abstract computing systems based on multiset rewriting to models of Petri nets and the computation power of these nets to their topology. In turn, the computational power of these abstract computing devices can be understood by just looking at their topology, that is, information flow. Here we continue this line of research introducing J languages and proving that they can be accepted by place/transition systems whose underlying net is composed only of joins. Moreover, we investigate how J languages relate to other families of formal languages. In particular, we show that every J language can be accepted by a log n space-bounded non-deterministic Turing machine with a one-way read-only input. We also show that every J language has a semilinear Parikh map and that J languages and context-free languages (CFLs) are incomparable

Rail2X - SmartServices (Projektabschlussbericht)

V2X (Vehicle2Everything) ist ein WLAN-ähnlicher Standard, der im Automobilbereich für den Informationsaustausch zwischen Fahrzeugen und / oder Infrastruktur genutzt wird. Beispiels-weise findet dieser Nachrichtenstandard im Straßenverkehr Anwendung, um den Autofahrer rechtzeitig vor kritischen Situationen zu warnen und so zu unterstützen. V2X-Komponenten befinden sich daher seit mehreren Jahren in der Entwicklung und Erpro-bung. Jedoch ist dieser Kommunikationsstandard nicht ausschließlich auf den Automobilbe-reich begrenzt, sondern verkehrsträgerunabhängig ausgelegt. Über das Projekt Rail2X-Smart Services wurde die Nutzung der V2X-Kommunikation für den Eisenbahnsektor evaluiert. Ziel des Projektkonsortiums war die Erforschung und Erweiterung von V2X als Rail2X in den Bahnbereich, um den Komfort sowie die Effektivität und Wirtschaftlichkeit des Bahnbetriebs im Regionalverkehr zu steigern. Grundsätzlich wurde ein Verkehrsträger und Verkehrsmittel übergreifender Informationsaustausch ermöglicht. Sowohl die Nutzung einheitlicher Standards als auch die Verknüpfung mit einem zentralen Datenmanagementsystem, das Daten bearbeitet und mit anderen Datenquellen wie der mCLOUD korreliert, spielten dabei eine zentrale Rolle. Für die Erprobung und Evaluierung wurden drei relevanten Anwendungsfällen im Bahnbereich definiert und ausgestaltet die durch die V2X-Anwendung einen wirtschaftlichen Betrieb ermöglichen. Mittels dieser Anwendungsfälle konnte gezeigt werden, dass einerseits die Nutzung des V2X-Standards möglich und andererseits die Anwendung von kostengünstigen Standardkomponenten aus dem Automobilbereich auch im Bahnbereich zielführend ist